intuicionista

intuicionista
{{#}}{{LM_I22511}}{{〓}}
{{[}}intuicionista{{]}} ‹in·tui·cio·nis·ta›
{{《}}adj.inv.\/s.com.{{》}}
Que defiende o sigue el intuicionismo:
Las distintas tendencias intuicionistas creen que la intuición es básica para el conocimiento.{{○}}

Diccionario de uso del español actual con sinónimos y antónimos. 2015.

Mira otros diccionarios:

  • intuicionista — ► adjetivo 1 Del intuicionismo. ► adjetivo/ sustantivo masculino femenino 2 Que es partidario del intuicionismo …   Enciclopedia Universal

  • Lógica intuicionista — La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a… …   Wikipedia Español

  • Negación lógica — Para otros usos de este término, véase negación. En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de… …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Intuicionismo — En filosofía de las matemáticas, Intuicionismo o Neointuicionismo (contrario a preintuicionismo), es una aproximación a las matemáticas a partir de una vista mental constructiva humana. Todo objeto matemático es considerado producto de la mente… …   Wikipedia Español

  • Aritmética de Heyting — Saltar a navegación, búsqueda En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en… …   Wikipedia Español

  • Álgebra de Heyting — En matemáticas, las álgebras de Heyting (Su creador fue Arend Heyting) son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica… …   Wikipedia Español

  • Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

  • Lógica plurivalente — Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.[1] Distintas lógicas plurivalentes… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”